Order theory - PDFSEARCH.IO - Document Search Engine

Order theory
Results: 3266

#	Item
971	HOL with Definitions: Semantics, Soundness, and a Verified Implementation Ramana Kumar1 , Rob Arthan2 , Magnus O. Myreen1 , and Scott Owens3 2 1 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-05-14 09:11:24 Model theory Proof theory Logic in computer science Philosophy of language Formal methods HOL Higher-order logic Simply typed lambda calculus Soundness Logic Mathematical logic Mathematics
972	A Critical Evaluation of Commensurable Abduction Models for Semantic Interpretation Add to Reading List Source URL: www.norvig.com Language: English - Date: 2006-05-08 19:40:35 Reasoning Model theory Quantum mechanics Epistemology Abductive reasoning Charles Sanders Peirce Interpretation Coherence First-order logic Logic Statistics Science
973	Primitively (Co)recursive Definitions for Isabelle/HOL Lorenz Panny, Jasmin Christian Blanchette, and Dmitriy Traytel Fakultät für Informatik, Technische Universität München, Germany Abstract. Isabelle/HOL has recent Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-03-23 10:07:51 Recursion Computability theory Data types Higher-order functions Theory of computation Fold Recursive data type Primitive recursive function Lambda calculus Software engineering Computing Computer programming
974	C ONVEX OPTIMIZATION theory and practice Constantinos Skarakis BT Group plc Mobility Research Centre, Add to Reading List Source URL: keithbriggs.info Language: English - Date: 2009-05-20 09:38:40 Convex optimization Semidefinite programming Quadratic programming Linear programming Second-order cone programming Convex function Duality Quasiconvex function AMPL Mathematical optimization Mathematical analysis Mathematics
975	ENCODING MONOMORPHIC AND POLYMORPHIC TYPES JASMIN CHRISTIAN BLANCHETTE, SASCHA BÖHME, ANDREI POPESCU, AND NICHOLAS SMALLBONE Inria & LORIA, Nancy, France; Max-Planck-Institut für Informatik, Saarbrücken, Germany e-mai Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-03-25 16:36:05 Metalogic Symbol Structure Interpretation First-order logic Functional predicate Model theory Logic Mathematical logic
976	Joseph MuscatOrdered Sets The morphisms on a relation (digraph) Add to Reading List Source URL: staff.um.edu.mt Language: English - Date: 2012-11-15 05:04:30 Order theory Lattice theory Algebraic structures General topology Functions and mappings Distributive lattice Ideal Filter Boolean algebra Mathematics Abstract algebra Structure
977	The University of Birmingham School of Computer Science Operational Domain Theory and Topology of Sequential Functional Languages Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2008-08-28 06:12:06 Mathematics Applied mathematics Denotational semantics Order theory Operational semantics Domain theory Semantics of programming languages Topology Completeness Theoretical computer science Logic in computer science Programming language semantics
978	Mechanizing the Metatheory of Sledgehammer Jasmin Christian Blanchette and Andrei Popescu Fakultät für Informatik, Technische Universität München, Germany Abstract. This paper presents an Isabelle/HOL formalization o Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Mathematical logic Structure Interpretation First-order logic Symbol Permutation Signature Parity of a permutation Combinatorial species Mathematics Model theory Logic
979	J. Functional Programming 9 (4): 355–372, Julyc 1999 Cambridge University Press ! Printed in the United Kingdom Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2010-05-18 03:41:36 Recursion Higher-order functions Functions and mappings Theory of computation Computability theory Fold Map Primitive recursive function Append Computing Software engineering Computer programming
980	Noname Vol. 43 Monotonicity Inference for Higher-Order Formulas Jasmin Christian Blanchette · Alexander Krauss Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Model theory Symbol Lambda calculus Interpretation Structure Orbifold Curry–Howard correspondence Mathematics Mathematical logic Logic

UPDATE